#include<stdio.h>
long jc(int n);
int main()
{
    int a,b;
    scanf("%d %d",&a,&b);
    printf("%ld",jc(a+b));
    return 0;
}

long jc(int n)
{
    int jc=1;
    for(int i=1;i<=n;i++)
        jc*=i;
    return jc;
}
